error(type_error(integer), 2.5)