You can use the float data type to perform calculations using float point numbers. I'm not sure if that is what you wanted to know. I recommend you to check the following article written by SparkFun. There are test results for different calculations and different data types using an Arduino UNO: Data Types in Arduino
If you check that article, you will see a test result for a divide operation with float point numbers. According to that test, it took 32us to be done. I did the same test with Edison and it took 4us, which is 8 times faster.
I hope this information helps you.