備忘録
=(2^53-1)/(2^37)-1