how do you convert and array of doubles into floats?

[Diez B. Roggisch]

Marc 'BlackJack' Rintsch schrieb:
> In <1158342034.282295.144660 at i3g2000cwc.googlegroups.com>, SpreadTooThin
> wrote:
> 
>> 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?
> 
> What about:
> 
> b = array.array('f', a)

AFAIK d and f are synonym for arrays, as python doesn't distinguish 
between these two on a type-level. And double it is in the end.

Diez