Constant `max_int` of `ieee_float.GenericFloat` should be given a value in its clones
So we need to add the value of max_int
in Float32
and Float64
.
At the same time, please rename the axiom max_int
to avoid any confusion at reading things like goal max_int
in the clone. Something like max_int_spec
would be better