Revert "Fix issue with parsing hex integers in F# build"
Revert "Fix issue with parsing hex integers in F# build"

This reverts commit 89ffcddfbe33fbeca963ddc94e39196b09998451.

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar