Added limited double support for printf