Warnings in Val

The following warnings cause the testsuite to fail:

.../lib/modules/Val.pmod/module.pmod:600: Warning: An expression of type int | mixed cannot be assigned to a variable of type int.
.../lib/modules/Val.pmod/module.pmod:601: Warning: An expression of type int | mixed cannot be assigned to a variable of type int.
.../lib/modules/Val.pmod/module.pmod:602: Warning: An expression of type int | mixed cannot be assigned to a variable of type int.
.../lib/modules/Val.pmod/module.pmod:630: Warning: An expression of type int | mixed cannot be assigned to a variable of type int.
.../lib/modules/Val.pmod/module.pmod:631: Warning: An expression of type int | mixed cannot be assigned to a variable of type int.
.../lib/modules/Val.pmod/module.pmod:632: Warning: An expression of type int | mixed cannot be assigned to a variable of type int.
.../lib/modules/Val.pmod/module.pmod:645: Warning: An expression of type int | mixed cannot be assigned to a variable of type int.
.../lib/modules/Val.pmod/module.pmod:646: Warning: An expression of type int | mixed cannot be assigned to a variable of type int.
.../lib/modules/Val.pmod/module.pmod:647: Warning: An expression of type int | mixed cannot be assigned to a variable of type int.
.../lib/modules/Val.pmod/module.pmod:868: Warning: An expression of type int | mixed cannot be assigned to a variable of type int.
.../lib/modules/Val.pmod/module.pmod:872: Warning: An expression of type int | mixed cannot be assigned to a variable of type int.