Formally prove totality and determinism of numeric casts - #85

Formally prove totality and determinism of numeric casts#85

zimri-leisher wants to merge 10 commits into

develfprime-community/fpy:develfrom

math-prooffprime-community/fpy:math-proofCopy head branch name to clipboard