we can now cast to double