pow10 : int -> num

SYNOPSIS

Returns power of 10 as unlimited-size integer.

DESCRIPTION

When applied to an integer n (type int), pow10 returns $10^n$ as an unlimited-precision integer (type num). The argument may be negative.

FAILURE CONDITIONS

Never fails.

EXAMPLE

  # pow10(-1);;
  val it : num = 1/10
  # pow10(16);;
  val it : num = 10000000000000000

SEE ALSO

pow2.