What's with the MicroPos here?
a_X or (better) a_PosX is a double-based coordinate
a_MicroPosX is an integer, round(32 * a_PosX) (used in some places in the protocol)