Pedantic. I don't know of any non base-10 floating point literal. Do you? I could add a CP, but I don't think it is necessary.