(9/16)/(2^63)