[romed]

sizeof(double) is 1 if you're using Analog's compiler. You have to use --double-size-64 to get the bigger one.