dhall-1.26.0: dhall-lang/tests/parser/success/unit/DoubleLitSecretelyIntA.dhall
{-
Some languages do not make principled distinctions between number types, so
this checks that this Double is not silently considered as a Natural
-}
1.0
{-
Some languages do not make principled distinctions between number types, so
this checks that this Double is not silently considered as a Natural
-}
1.0