`recipSer` is multiplicative.