[Sablevm-developer] change svmt_f64 => svmt_d64 or else it breaks 64bit platforms

[Grzegorz P. <gr...@se...>]

In src/libsablevm.system.h is being used svmt_f64 type which is not
defined anywhere. I belive that there should be svmt_d64 used instead.
W/o this fix SableVM doesn't build on 64bit platforms.

					GBP

-- 
Grzegorz Prokopski <gr...@se...>