cvlr-fixed 0.4.2

Fixed point numbers over Certora native integers
Documentation