#576 Fixed floating point bug for real numbers