inlined divideFloat()
inlined divideFloat()


Former-commit-id: 4a8f702824126ba37f757a7ea0d50bde3b00192a
rbaghdadi/pencil-benchmark,pencil-language/pencil-benchmark,dividiti/pencil-benchmark,dividiti/pencil-benchmark,pencil-language/pencil-benchmark,rbaghdadi/pencil-benchmark,dividiti/pencil-benchmark,pencil-language/pencil-benchmark,rbaghdadi/pencil-benchmark