Fix convert(RealT, 0.25) to 0.25f0

Fix convert(RealT, 0.25) to 0.25f0 #4184