C++ SimpleRangeAnalysis: BigInt rewrite experiment

[d10c]

Commits:

• SimpleRangeAnalysis lib/: float -> BigInt: library changes
• SimpleRangeAnalysis src/: float -> BigInt: query changes
• SimpleRangeAnalysis test/: float -> BigInt: test changes