Logarithm-approximate floating-point multiplier. (September 2022)