The version of R is very old here. In 4.0 rounding was corrected.

There are other ways.

Are you sure to correctly interpret the results of the tests?

Please when you post an issue give the test you think it is wrong (with the input, your output and the expected result) otherwise it is impossible to answer.

You should always mention the language you're working with (in this case it's R?). For the input you gave the expected result is 12265933929 indeed, so maybe you misinterpreted the logs somehow.

The R translation seems to around for a while with a few solves, so someone would've noticed if it was wrong.