[math-fun] four fours with floor