sig
  val e : float
  val log2e : float
  val log10e : float
  val ln2 : float
  val ln10 : float
  val pi : float
  val pi2 : float
  val pi4 : float
  val invpi : float
  val invpi2 : float
  val sqrtpi2 : float
  val sqrt2 : float
  val invsqrt2 : float
end