[spec] rational functions