已解决，没想到 format 还支持 BigInteger 输出