Bellard's_formula loading ...