What happens when an ontology has data literals that are outside the range handled

This is one question that came up with my discussion with Jos this
morning (more details to follow).

So suppose I have the entailment test:

{1.0^decimal, 1.000000000000000001^decimal} < {1.0^float}

in an implementation that only supports 16 digit decimal literals.

What happens?

-Alan