...
From this approach we can use the rules with a different database of type information to generate a math runtime for a different platform (like the clr? beam?).
A possible fall out from this is generating a more consistent set of compiler intrinsics for math operations.