v.20.11Bug Fix

Fixed Big Integer Casting Issue from Double

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