Added Array.Float.alloc and unsafe_alloc