Type Conversions

Convert between int, float, string and JSON

Function	What it does
float	Convert to float
fromJSON	The value decoded from JSON text
int	Convert to integer
string	Convert to string
toJSON	The value encoded as indented JSON text
type	The name of a value's type