midi: (round off)