3 Commits

Include renames

Author	SHA1	Message	Date
Robin Gloster	e583df5280	builtins.toJSON: fix __toString usage	2019-10-27 10:15:51 +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