result_type will always be the same as IntType
result_type will always be the same as IntType