input Float32 numbers from a file