Michael Raskin dbcde5f2e8 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 (cherry picked from commit 17bc757980)		2018-06-10 16:40:53 +02:00
..
manual	manual: builtins.fromJSON: remove the claim that floats are not allowed	2018-06-10 16:40:53 +02:00