Math: spec for fib()