Minor optimizations, mainly for Reals in the wasm interpreter

11 jobs for optimise-wasm-interpreter in 10 minutes and 25 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #56370
build

00:00:46

passed #56371
build-clang

00:00:23

passed #56373
build-wasm

00:00:32

passed #56372
build-windows

00:00:24

 
  Test Interpreter
failed #56376
benchmark-wasm

00:05:05

passed #56374
benchmark-x64

00:04:02

passed #56375
benchmark-x86

00:06:16

 
  Test Interworking
skipped #56378
interworking-GraphCopy
skipped #56379
interworking-GraphCopy-clang
skipped #56377
interworking-Start
 
  Examples
skipped #56380
examples
 
Name Stage Failure
failed
benchmark-wasm Test Interpreter
Time used: 0 / 0.00 (ratio not computable)
Passed: war_seq
Running weird_types...
Finished making.
Finished making.
Time used: 0 / 0.00 (ratio not computable)
Passed: weird_types
Some tests failed: reals
ERROR: Job failed: exit code 1