`Integer<1e+100>` should be `1e+100`, but it is `never` #637