# HG changeset patch # User Sascha L. Teichmann # Date 1381921393 -7200 # Node ID c6825778de1fa0575854bd727253df26c6b5004e # Parent 760ea7f0845534366050010dd6f7f74cee07a161# Parent 2d912b2a4bdfd1496201309c13512fa8c6781eb3 Merged double-precision branch.