pub type std___is_integer___type = std___false_type;