Added documentation for LaxNum