Using libm from micropython free up about 5.5kb flash on nrf52 targets which have floating point enabled.