Hi
If you go to WHSmith or similar you'll find the packaging clearly indicates if it is approved for GCSE exams. So that type would be fine for your ATPLs as well. (same requiermets & restrictions)
Mine was a CASIO fx-83MS. But that was a while ago.
Hope that helps.
midgie