Operator checks if the top most object on the operand stack is a Q and has a numerator equal 1.
Core code registered in leodict.