this one is already defined in numeric bijections.