change sdrio_get_tuning_range to use uint64 instead of float64, to match sdrio_set_rx_frequency/sdrio_set_tx_frequency