FIX: use %.16g for printing float! value.