Potential problem with nomenclature #10
Description
Hello, and thank you for developing this package.
I have a question/remark on the nomenclature of the 'Decimal' type. I quote:
-- | Decimal number with custom precision (@p@) and type level scaling (@s@) parameter (i.e. number
-- of digits after the decimal point). As well as the rounding (@r@) strategy to use.
newtype Decimal r (s :: Nat) p = ...
Maybe I get something wrong, but is'nt s the precision (the number of stored decimals), and p something like a max bound, or a span (which of course depends on the precision s)? It is definitely confusing to call p precision.