It's very strange. I'am disassembled binary.
ocaml __fixdfsi call resovled to __aeabi_d2iz and this function are the
same as in ios binary. But on android floating point does not work!
=== disassemly code: aeabi_d2iz from android libc
0002da7c __aeabi_d2iz:
2da7c: e1a02081lsl
*** apologies for multiple postings ***
Dear colleagues,
It is our great pleasure to invite you to participate in the 13th Conference on
Theoretical Aspects of Rationality and Knowledge (TARK XIII, July 11-15, 2011,
Groningen, the Netherlands).
You can register via the official TARK website