Allow cast from int to real