[petsc-users] sources of floating point randomness in JFNK in serial