class Dhall::Builtins::Integer