I didn't read it properly the first time and wasted time looking for your answer, by the way PUSHdouble pushes a double from the cpool costant so there is no direct conversion to hex. You can either do two things, the easy solution: looking in the swf for other pushdoubles and use one already known; the tricky solution: use a script to get all the data from the double cpool.
v1.1: For doubles, in AVM2 I think you will need to use the constant pool and the pushdouble (2f) instruction, and in AVM0, there's a more flexible "_push" (96) statement that allows to push IEEE 754 floating point numbers without using the constant pool
v1.2:you can use this link for converstions between decimal floating point and IEEE 754 representations: http://babbage.cs.qc.cuny.edu/IEEE-754/Decimal.html

 

Yes, I was referring to the constant pool for AVM2.
Thanks for the tool and links, I will read them.