void
copy_flonums(C_word vec, float *dst)
{
	int c, i;
	c = C_header_size(vec);
	for(i = 0; i < c; i++)
		*(dst++) = (float)C_flonum_magnitude(C_block_item(vec, i));
}