change avg_sample_period in MySQL from Decimal to Double

Author: derlin

other/mysql/bbdata2-structure.sql

@@ -1,5 +1,5 @@
 -- MySQL Script generated by MySQL Workbench
--- Tue Sep 15 20:27:02 2020
+-- Wed Sep 23 16:33:54 2020
 -- Model: New Model    Version: 1.0
 -- MySQL Workbench Forward Engineering
 
@@ -321,7 +321,7 @@ CREATE TABLE IF NOT EXISTS `stats` (
   `n_reads` INT NOT NULL DEFAULT 0,
   `n_writes` INT NOT NULL DEFAULT 0,
   `last_ts` TIMESTAMP(3) NOT NULL,
-  `avg_sample_period` DECIMAL(12,2) NOT NULL DEFAULT 0,
+  `avg_sample_period` DOUBLE NOT NULL DEFAULT 0,
   `created` TIMESTAMP NOT NULL DEFAULT CURRENT_TIMESTAMP,
   `last_modified` TIMESTAMP NOT NULL DEFAULT CURRENT_TIMESTAMP ON UPDATE CURRENT_TIMESTAMP,
   PRIMARY KEY (`object_id`),