Runtime: disable marshalling of floats, as it seems more dangerous than useful