error(type_error(float), 3)