# Compute the mass of planet earth

let radius: Length = 6000 km
let volume: Volume = 4/3 · π · radius³
let ρ: MassDensity = 5000 kg/m³
let earth_mass: Mass = ρ · volume

assert_eq(earth_mass, 4.52389e24 kg, 0.00001e24 kg)
