error(type_error(integer), 5.5)