Hack to work around out of bounds error
Improve the fix to out-of-bounds in Miller
Better defaults for floats

- mantissa wide enough for double
- default tolerance at 1e-9
- (explicit int to silence compiler warning)