[tmcb]

Oh, thanks for pointing it out. Honestly, I was more interested in leveraging the type system than on proper dimensional analysis. I could find no mechanism by which Ada allows the programmer to disable the default operation overloads, so I decided to try that out.

[OneWingedShark]

IIRC you can disable/forbid the default like so:

    Function "*"(Left, Right: Distance) return Distance is abstract;

then use:

    Function "*"(Left, Right : Distance) return Area;

[tmcb]

That seems to do the trick for an individual predefined operator specification. Thanks!