chiark / gitweb /
getMachineCenterCoords: change erroneous getMachineSetting>>Float<<