| 20:59 | <jugglinmike> | By my reading, there is no mathematical value "-0", only "0", and "negative zero" can only be expressed with a Number value "-0𝔽". Can anyone confirm that? |
| 21:14 | <bakkot> | jugglinmike: yup, that's correct |
| 21:15 | <jugglinmike> | Thanks, bakkot ! And if I'd been just a little more patient, I might have answered this for myself from 262: "The mathematical value of +0𝔽 and -0𝔽 is the mathematical value 0." |