F9.9, F13.5 & F15