how do you convert and array of doubles into floats?

[SpreadTooThin]

I have some code...

import array

a = array.array('d')
f = open('file.raw')
a.fromfile(f, 10)

now I need to convert them into floats (32 bit...) what do i do?