\form#0:$[-2^{53}+1, 2^{53}-1]$