vhdl_rtoi: Test for VHDL integer() function.