silent overflow

julia> using TypeDomainNaturalNumbers

julia> TypeDomainInteger(typemax(Int))
9223372036854775807

julia> ans * ans
1