confirming that printf can format BigInteger arguments properly (and if they happen to be null, it's not crashing)