The user wants to use a concrete type with defined mathematics to be interoperable with systems which make use of the same type.

This leads to the requirement: