Allow integer -> real conversion