Template:Frexp implication