Hi all, Great stuff. I think there is a bug in Math.abs: https://github.com/kframework/javascript-semantics/blob/d5aca308d12d3838c645e1f787e2abc9257ce43e/stdlib/08.math.js#L5-L11 According to the spec, abs of -0 should be 0 not 0.
Activity
[-]Math.abs(-0) should be -0[/-][+]Math.abs(-0) should be 0[/+]