3 commits

Author	SHA1	Message	Date
Robin Gloster	3130aafd01	builtins.toJSON: fix __toString usage ... (cherry picked from commit e583df52800b4baa1564b027fe3b83a21756c2cc)	2020-01-04 14:10:56 +01:00
Christian Theune	5cdcaf5e8e	Adapt tests to show that floats work properly.	2016-01-06 10:03:24 +01:00
Eelco Dolstra	77c13cdf56	Add a toJSON primop	2013-11-19 00:04:11 +01:00