1. javascript built-in: math: f16round

2. javascript built-in: math: fround

3. javascript built-in: math: round

4. elements: menclose: notation: `notation="roundedbox"`

5. elements: mstyle: background

6. global_attributes: mathbackground