Ted the Builder: ordering decimals