int floatToBits(float f) {
  ret Float.floatToIntBits(f);
}