Reproducible Floating-Point Aggregation in RDBMSs