Use float instead of real