Fixed constant type inference