v.20.10Bug Fix

Fixed Big Integer Casting from Double Error

Fixed wrong result in big integers (128, 256 bit) when casting from double. #16986 (Mike).