Sylvester.Arithmetic (nuget): Type-level natural number arithmetic and constraints using fixed-point decimal types.
Keywords: F#|fsharp|math|arithmetic|type-level