Michael Raskin 17bc757980 manual: builtins.fromJSON: remove the claim that floats are not allowed ... floating-point numbers are supported now, including the fromJSON builtin. Reported on IRC by inquisitiv3		2018-06-10 14:20:18 +02:00
..
manual	manual: builtins.fromJSON: remove the claim that floats are not allowed	2018-06-10 14:20:18 +02:00