Question: When Robert Quiroga was the International Boxing Federation champion, how much did he weigh?
Sentence (from "Super flyweight"): Super flyweight, also referred to as junior bantamweight or light bantamweight, is a weight class in professional boxing, contested from 112 lb and up to 115 lb .
Relevant evidence: Yes