fixed 1.25.1

Fixed-point numbers.
Documentation