Changed to use finite domain logic for handling maths in happyo