[spec] clarify that div-by-zero is undefined (#1409) (#1411)
(cherry picked from commit d44d3f8f ) # Conflicts: # spec/spec.pdf Co-authored-by:Albert Magyar <albert.magyar@gmail.com>
parent
9c443604
Please register or sign in to comment
(cherry picked from commit d44d3f8f ) # Conflicts: # spec/spec.pdf Co-authored-by:Albert Magyar <albert.magyar@gmail.com>