Temporarily restoring old implementation of values. Compilation of BigZ was failing (cofix translation seems buggy).
Temporarily restoring old implementation of values.
Compilation of BigZ was failing (cofix translation seems buggy).

maximedenes/native-coq,maximedenes/native-coq,maximedenes/native-coq