F.9.1.3 The atan functions

1

  • atan((+-)0) returns (+-)0.

  • atan((+-)(inf)) returns (+-)pi /2.