Animator improvements

Fixes an erroneous operation in the Animator, corrects issues with frame
limits <= 0, and improves transparency of statistics.  Animator#fps()
now also returns NaN rather than a ZeroDivisionError.