Converting integer literals to real where necessary