codec: fix implementation of half float to use uint32.