FixedPointJAX
tests
