Renamed Real64 to Real.