soft-float: add float32_log2() and float64_log2()