v.20.12Bug Fix

Fixed Casting Error for Big Integers from Double

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