let
sizeof_double = 8