FIX: minor comment updated about x87 exceptions default mask.