class Dhall::Builtins::Double