Store ship base-price as a double

This should fix #3129.