if Goldbach's conjecture is true but unprovable then it is impossible to correctly round down (in floating point) 0.5 + 10-n for certain n