[skip ci] stopping in the middle of the migration to BigFraction, as it still needs a lot of work