decimal floating-point

  1. redirect Decimal floating point {{R from modification}}