[Boost-users] [units] Convert from Degree Minutes to Degrees