Replace float with real