Come da titolo vorrei arrotondare i valori ottenuti da una query in MySQL per multipli di 0,5.

Ad esempio:
12.1 --> 12.0
12.2 --> 12.0
12.3 --> 12.5
12.4 --> 12.5
12.8 --> 13.0

come posso fare?