Work on Real and Int Machines