So it's just a standard double precision floating point? Makes it seem like 15 decimal places was hand selected.
Red sea attacks... so just leave out the US soldiers killed.