四千一百五十二点五。