/*
 * print unsigned char (byte) in binary form
 */
#include <stdio.h>

void printbits_float(float v) 
{
  int i;
  int *j = (int *) &v;
  int n = 8*sizeof(v);
  for(i = n-1; i >= 0; i--) 
  {
    if ( (i == 22) || (i == 30)) putchar(' ');
    putchar('0' + (((*j) >> i) & 1));
  }
}