fixed some documentation, and refined support for int() and float()