Template:Frexp metaproperty satisfaction