time to think about iso using divMod and fin-project