Unsafe Floating-point to Unsigned Integer Casting Check for GPU Programs