Float -> Double.
New nice coloration!