Type promotion from integer to real works in more cases